f(f(a, f(f(a, f(f(a, a), a)), a)), a)